/*
 * syscall.h
 *
 *  Created on: 2016-10-24
 *      Author: m
 */

#ifndef SRC_INCLUDE_SYSCALL_H_
#define SRC_INCLUDE_SYSCALL_H_
#include "type.h"
#include "proc.h"

//extern u32 get_ticks();
extern int write(int fd, void* buf, int count);
extern int syscall_post(int function, int dest_pid, MESSAGE* msg);

#endif /* SRC_INCLUDE_SYSCALL_H_ */
